Run-time support for distributed sharing in safe languages

Run-Time Support for Distributed Sharing in Strongly-Typed Languages

In this paper, we present a new run-time system for strongly-typed programming languages that supports object sharing in a distributed system. The key insight in this system is that type information allows eecient and transparent sharing of data with both ne-grained and coarse-grained access patterns. In contrast, conventional distributed shared memory (DSM) systems that support sharing of an u...

Run-Time Support for Distributed Sharing in Typed Languages

We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distinguish pointers from data at run-time enables efficient and transparent sharing of data with both fine-grained and coarse-grained access patterns. In contrast, conventional distributed shared memory (DSM) systems that s...

Run-time support for parallel discrete event simulation languages

Run-time Support for Aspects in Distributed System Infrastructure

Adaptation of distributed system software to changes in the execution environment or user requirements by switching non-functional algorithms at run-time is powerful yet difficult to implement. Aspect-oriented programming is a necessary, but insufficient means to achieve this goal. This paper consists of two parts. First, we present what is in our opinion the best direction towards an AOP model...

Run-time debugging for functional logic languages

This thesis describes the design, implementation and use of a run-time debugging tool for understanding the lazy semantics and locating failures in the functional logic language Curry. We provide a means for programmers to step in the evaluation order of program expressions at a source code level. Every expression evaluated is detected by a program coverage in a layout of the source code. Its r...